2

Continuous Pairwise Comparisons

Year:
2016
Language:
english
File:
PDF, 81 KB
english, 2016
7

A formal semantics for concurrent systems with a priority relation

Year:
1987
Language:
english
File:
PDF, 1.08 MB
english, 1987
11

Characterising Concurrent Histories

Year:
2015
Language:
english
File:
PDF, 192 KB
english, 2015
12

Approximations of arbitrary relations by partial orders

Year:
2018
Language:
english
File:
PDF, 1.34 MB
english, 2018
21

Modelling concurrency with comtraces and generalized comtraces

Year:
2011
Language:
english
File:
PDF, 571 KB
english, 2011
23

Step traces

Year:
2016
Language:
english
File:
PDF, 888 KB
english, 2016
27

Structure of concurrency

Year:
1993
Language:
english
File:
PDF, 2.78 MB
english, 1993
31

Preface

Year:
2016
Language:
english
File:
PDF, 25 KB
english, 2016
40

Interval semantics for Petri nets with inhibitor arcs

Year:
2018
Language:
english
File:
PDF, 1.55 MB
english, 2018
42

Transforming sequential systems into concurrent systems

Year:
1985
Language:
english
File:
PDF, 1.64 MB
english, 1985
44

Invariants and paradigms of concurrency theory

Year:
1992
Language:
english
File:
PDF, 920 KB
english, 1992
48

Nets, sequential components and concurrency relations

Year:
1984
Language:
english
File:
PDF, 2.99 MB
english, 1984